Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
11	Temporal Modalities for Concisely Capturing Timing Diagrams Hana Chockler1,2 and Kathi Fisler1 1 Department of Computer Science, WPI, Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-08-29 16:45:53 Temporal logic Linear temporal logic Diagram Symbol FO
12	Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2015-10-07 14:27:16 Mathematical analysis Mathematics Functional analysis Signal processing Operator theory Image compression Wavelet transform Wavelet Distribution Constructible universe Craig interpolation Linear temporal logic
13	Duality formulas for robust pricing and hedging in discrete time∗ Patrick Cheridito† Michael Kupper Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2016-03-07 03:07:07 Mathematical analysis Distribution Functional analysis Linear temporal logic
14	CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English Algebra Abstract algebra Group theory Algebraic number theory Galois theory Frobenius group Galois module Order Free group Linear temporal logic
15	Duality for increasing convex functionals with countably many marginal constraints D. Bartl∗ P. Cheridito† Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2015-10-08 04:24:20 Mathematical analysis Analysis Measure theory Generalized functions Smooth functions Transportation theory Distribution Linear temporal logic
16	Evaluating Interval-Valued Influence DiagramsI Rafael Caba˜nasa,∗, Alessandro Antonuccib , Andr´es Canoa , Manuel G´omez-Olmedoa a Department of Computer Science and Artificial Intelligence CITIC, University of Gran Add to Reading List Source URL: ipg.idsia.ch Language: English - Date: 2016-05-24 15:35:25 Mathematics Logic Model theory Abstraction Limit Interpretation IP Bayesian network Static single assignment form Symbol Expected value Linear temporal logic
17	Ensuring Agent Properties under Arbitrary Sequences of Incoming Events Stefania Costantini1 , Pierangelo Dell’Acqua2 , Lu´ıs Moniz Pereira3 , and Arianna Tocchio1 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-06-08 10:41:46 Philosophy Logic Theoretical computer science Temporal logic Logic in computer science Linear temporal logic Modal logic Causality Formal verification
18	Riemann bilinear relations on minimal surfaces Joaqu´ın P´erez∗ e-mail: Departamento de Geometr´ıa y Topolog´ıa Facultad de Ciencias Universidad de Granada Add to Reading List Source URL: www.ugr.es Language: English - Date: 2001-03-13 07:19:24 Mathematical analysis Differential geometry Differential topology Smooth functions Tangent space Differential geometry of surfaces Distribution Linear temporal logic
19	DEGREE GROWTH OF BIRATIONAL MAPS OF THE PLANE JÉRÉMY BLANC AND JULIE DÉSERTI October 6, 2011 A BSTRACT. This article studies the sequence of iterative degrees of a birational map of the plane. This sequence is known e Add to Reading List Source URL: jones.math.unibas.ch Language: English - Date: 2014-09-21 13:51:17 Mathematical analysis Mathematics Operator theory Constructible universe Divisor Birational geometry Contraction Linear temporal logic Golden ratio base
20	Checking Metric Temporal Logic with TRACE Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh, Dip Goswami ES Reports ISSN Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2016-04-11 04:53:31 Logic Mathematics IP Interpretation Abstraction Linear temporal logic Craig interpolation

UPDATE